[prev] [prev-tail] [tail] [up]

Integrals 101 to 142

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A C B F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

268 268 1120 263 1487 470 0 0 0

N.S.

1 1.00 4.18 0.98 5.55 1.75 0.00 0.00 0.00

time (sec)

N/A 0.725 6.535 0.771 0.271 0.265 0.000 0.000 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

430 430 3835 430 4343 865 0 0 0

N.S.

1 1.00 8.92 1.00 10.10 2.01 0.00 0.00 0.00

time (sec)

N/A 1.159 7.203 1.829 0.319 0.293 0.000 0.000 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C B F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

213 213 324 217 1054 379 0 0 0

N.S.

1 1.00 1.52 1.02 4.95 1.78 0.00 0.00 0.00

time (sec)

N/A 1.043 1.607 0.564 0.267 0.261 0.000 0.000 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 26 26 25 28 114 33 25

N.S.

1 1.00 0.72 0.72 0.69 0.78 3.17 0.92 0.69

time (sec)

N/A 0.014 0.060 0.313 0.216 0.228 0.235 0.252 0.113

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 115 109 86 100 260 0 127 0

N.S.

1 1.00 0.95 0.75 0.87 2.26 0.00 1.10 0.00

time (sec)

N/A 0.124 0.153 0.307 0.220 0.262 0.000 0.281 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

144 144 135 117 131 229 0 147 0

N.S.

1 1.00 0.94 0.81 0.91 1.59 0.00 1.02 0.00

time (sec)

N/A 0.267 0.184 0.342 0.239 0.262 0.000 0.285 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 77 82 54 52 46 0 0 0

N.S.

1 1.00 1.06 0.70 0.68 0.60 0.00 0.00 0.00

time (sec)

N/A 0.078 0.057 0.207 0.229 0.246 0.000 0.000 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 83 107 60 133 84 0 0 0

N.S.

1 1.00 1.29 0.72 1.60 1.01 0.00 0.00 0.00

time (sec)

N/A 0.098 0.177 0.319 0.220 0.248 0.000 0.000 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

151 151 166 127 474 164 0 0 0

N.S.

1 1.00 1.10 0.84 3.14 1.09 0.00 0.00 0.00

time (sec)

N/A 0.228 0.423 0.386 0.219 0.250 0.000 0.000 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

142 142 133 114 147 265 0 300 0

N.S.

1 1.00 0.94 0.80 1.04 1.87 0.00 2.11 0.00

time (sec)

N/A 0.208 0.186 0.463 0.220 0.257 0.000 0.320 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

157 157 158 139 186 270 0 521 0

N.S.

1 1.00 1.01 0.89 1.18 1.72 0.00 3.32 0.00

time (sec)

N/A 0.199 0.790 0.804 0.307 0.244 0.000 0.336 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

298 298 267 235 302 525 0 595 0

N.S.

1 1.00 0.90 0.79 1.01 1.76 0.00 2.00 0.00

time (sec)

N/A 0.411 0.657 1.548 0.327 0.265 0.000 0.377 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

162 162 163 154 190 313 0 378 0

N.S.

1 1.00 1.01 0.95 1.17 1.93 0.00 2.33 0.00

time (sec)

N/A 0.303 0.273 0.473 0.229 0.255 0.000 0.343 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

179 179 245 179 240 326 0 599 0

N.S.

1 1.00 1.37 1.00 1.34 1.82 0.00 3.35 0.00

time (sec)

N/A 0.302 0.807 0.983 0.318 0.257 0.000 0.367 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

340 340 322 315 377 629 0 751 0

N.S.

1 1.00 0.95 0.93 1.11 1.85 0.00 2.21 0.00

time (sec)

N/A 0.625 1.105 1.822 0.342 0.268 0.000 0.488 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

147 147 116 121 204 142 0 0 0

N.S.

1 1.00 0.79 0.82 1.39 0.97 0.00 0.00 0.00

time (sec)

N/A 0.208 0.122 0.413 0.238 0.253 0.000 0.000 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

171 171 131 145 236 159 0 0 0

N.S.

1 1.00 0.77 0.85 1.38 0.93 0.00 0.00 0.00

time (sec)

N/A 0.218 0.193 0.650 0.237 0.252 0.000 0.000 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

293 293 218 242 406 280 0 0 0

N.S.

1 1.00 0.74 0.83 1.39 0.96 0.00 0.00 0.00

time (sec)

N/A 0.354 0.343 1.514 0.264 0.259 0.000 0.000 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 103 170 82 205 109 0 0 0

N.S.

1 1.00 1.65 0.80 1.99 1.06 0.00 0.00 0.00

time (sec)

N/A 0.213 0.363 0.406 0.254 0.260 0.000 0.000 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

140 140 189 107 315 167 0 0 0

N.S.

1 1.00 1.35 0.76 2.25 1.19 0.00 0.00 0.00

time (sec)

N/A 0.224 0.624 0.641 0.239 0.245 0.000 0.000 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

205 205 389 162 667 311 0 0 0

N.S.

1 1.00 1.90 0.79 3.25 1.52 0.00 0.00 0.00

time (sec)

N/A 0.381 1.648 1.349 0.254 0.261 0.000 0.000 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

183 183 217 167 761 301 0 0 0

N.S.

1 1.00 1.19 0.91 4.16 1.64 0.00 0.00 0.00

time (sec)

N/A 0.407 0.682 0.457 0.250 0.263 0.000 0.000 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

211 211 252 191 863 361 0 0 0

N.S.

1 1.00 1.19 0.91 4.09 1.71 0.00 0.00 0.00

time (sec)

N/A 0.407 1.674 0.823 0.247 0.266 0.000 0.000 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

369 369 492 334 2180 707 0 0 0

N.S.

1 1.00 1.33 0.91 5.91 1.92 0.00 0.00 0.00

time (sec)

N/A 0.814 4.965 1.894 0.302 0.309 0.000 0.000 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

172 172 151 170 354 176 0 0 0

N.S.

1 1.00 0.88 0.99 2.06 1.02 0.00 0.00 0.00

time (sec)

N/A 0.326 0.236 0.484 0.252 0.248 0.000 0.000 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

231 231 204 218 399 224 0 0 0

N.S.

1 1.00 0.88 0.94 1.73 0.97 0.00 0.00 0.00

time (sec)

N/A 0.393 0.417 0.739 0.256 0.249 0.000 0.000 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

346 346 386 340 680 344 0 0 0

N.S.

1 1.00 1.12 0.98 1.97 0.99 0.00 0.00 0.00

time (sec)

N/A 0.560 0.666 1.644 0.288 0.246 0.000 0.000 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

189 189 231 178 648 311 0 0 0

N.S.

1 1.00 1.22 0.94 3.43 1.65 0.00 0.00 0.00

time (sec)

N/A 0.431 0.733 0.431 0.252 0.264 0.000 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C B F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

245 245 301 227 997 402 0 0 0

N.S.

1 1.00 1.23 0.93 4.07 1.64 0.00 0.00 0.00

time (sec)

N/A 0.441 2.280 0.845 0.274 0.272 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

378 378 3285 354 2456 725 0 0 0

N.S.

1 1.00 8.69 0.94 6.50 1.92 0.00 0.00 0.00

time (sec)

N/A 0.621 7.579 1.704 0.280 0.286 0.000 0.000 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

208 208 348 214 1008 377 0 0 0

N.S.

1 1.00 1.67 1.03 4.85 1.81 0.00 0.00 0.00

time (sec)

N/A 0.572 1.749 0.492 0.251 0.261 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A C B F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

268 268 1118 263 1487 470 0 0 0

N.S.

1 1.00 4.17 0.98 5.55 1.75 0.00 0.00 0.00

time (sec)

N/A 0.616 6.585 0.902 0.278 0.264 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B B F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

422 422 3829 426 4348 859 0 0 0

N.S.

1 1.00 9.07 1.01 10.30 2.04 0.00 0.00 0.00

time (sec)

N/A 1.040 6.983 2.165 0.305 0.304 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A C B F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

209 209 325 215 1058 381 0 0 0

N.S.

1 1.00 1.56 1.03 5.06 1.82 0.00 0.00 0.00

time (sec)

N/A 0.826 1.643 0.562 0.272 0.274 0.000 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

245 245 180 194 581 256 2465 1738 248

N.S.

1 1.00 0.73 0.79 2.37 1.04 10.06 7.09 1.01

time (sec)

N/A 0.423 7.276 1.641 0.258 0.279 1.749 0.368 27.566

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 99 83 84 218 83 542 923 84

N.S.

1 1.00 0.84 0.85 2.20 0.84 5.47 9.32 0.85

time (sec)

N/A 0.167 0.840 0.566 0.216 0.239 0.548 0.311 25.804

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

80 80 128 0 0 0 0 0 0

N.S.

1 1.00 1.60 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.080 3.872 0.000 0.000 0.000 0.000 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

184 184 240 0 0 0 0 0 0

N.S.

1 1.00 1.30 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.110 3.211 0.000 0.000 0.000 0.000 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

245 245 228 193 578 242 2394 1736 247

N.S.

1 1.00 0.93 0.79 2.36 0.99 9.77 7.09 1.01

time (sec)

N/A 0.381 0.706 1.438 0.242 0.259 1.970 0.363 27.284

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A C C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 82 83 216 80 478 920 83

N.S.

1 1.00 0.84 0.85 2.20 0.82 4.88 9.39 0.85

time (sec)

N/A 0.169 0.517 0.560 0.223 0.243 0.553 0.310 26.702

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

79 79 80 0 0 0 0 0 0

N.S.

1 1.00 1.01 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.073 0.060 0.000 0.000 0.000 0.000 0.000 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

169 169 145 0 0 0 0 0 0

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.115 0.317 0.000 0.000 0.000 0.000 0.000 0.000

[prev] [prev-tail] [front] [up]